Free Summands of Conormal Modules and Central Elements in Homotopy Lie Algebras of Local Rings

If (Q,n) (R,m) is a surjective local homomorphism with kernel I, such that I ⊆ n and the conormal module I/I has a free summand of rank n, then the degree 2 central subspace of the homotopy Lie algebra of R has dimension greater than or equal to n. This is a corollary of the Main Theorem of this note. The techniques involved provide new proofs of some well known results concerning the conormal module. Let R be a noetherian local ring with maximal ideal m and residue field k. Ring theoretic properties of R are reflected on the algebra structures carried by Tor (k, k) and ExtR (k, k) . Recall that the former has the t-product of Cartan and Eilenberg, and the latter the Yoneda multiplication. The k-algebra structure of Tor (k, k) is rather “simple”: It is free in the appropriate category, and so determined by the dimension of the k-vector space Tori (k, k) , for all integers i ≥ 0, that is to say, the Betti numbers of k over R. The multiplicative structure of ExtR (k, k) is quite another matter. The simplicity of the product on Tor (k, k) arises from the fact that it is endowed with additional structures: It is a commutative algebra, in the graded sense, with a family of divided powers, and has a diagonal map that is compatible with the divided powers algebra structure on it. In other words, the k-algebra Tor (k, k) is a commutative Hopf algebra with divided powers, and so is free as a divided powers algebra. In contrast, the multiplication on ExtR (k, k) is decidedly non-commutative, unless R happens to be a complete intersection of a special kind. The graded kdual of the product on Tor (k, k) turns ExtR (k, k) = Tor R (k, k) ∗ into a Hopf algebra. Attention has focussed on a certain subspace of primitives of this Hopf algebra, denoted π(R), which is a Lie algebra with the bracket operation defined by the commutator in ExtR (k, k) . This object is called the homotopy Lie algebra of R. The importance of this Lie algebra is attested to by its defining property: Its universal enveloping algebra is ExtR (k, k) . In this note, we are concerned with the centre of the homotopy Lie algebra of R, denoted ζ(R). This subspace, besides being a measure of the non-commutativity of π(R), and hence of ExtR (k, k) , plays an important part in the change of rings properties of the homotopy Lie algebra, among other things; the interested reader is referred to [3], and the references therein, for additional information on this matter. The construction of π(R) outlined above is a compilation of work of André, Assmus, Avramov, Gulliksen, Levin, Sjödin, Schoeller, and others. Our primary goal is to establish the following Date: July 14, 2005. 1991 Mathematics Subject Classification. 13C, 13D, 18G.